Absentee Ballot Application—Voter with a Disability
OUT-OF-COUNTY Hospitalization Due to an Accident or Unforeseeable Medical Emergency That Occurred After 12:00 p.m. (noon) on the Saturday 
Before Election Day and

Source URL: www.sos.state.oh.us

• Elections
• Politics
• Absentee ballot
• Government
• Voter registration
• Provisional ballot
• Group decision-making
• Postal voting

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

Source URL: rjoshi.org

• Computing
• Software engineering
• Computer programming
• Inter-process communication
• UML state machine
• Message queue
• Message passing
• Event loop
• Futures and promises
• Monitor
• Scala
• High-Speed SECS Message Services

Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Federal Department of Economic Affairs, Education and Research EAER State Secretariat for Economic Affairs SECO Economic Policy Directorate Short-Term Economic Analyses

Source URL: www.seco.admin.ch

• National accounts
• Official statistics
• Time series
• Gross domestic product
• Seasonal adjustment
• Statistics
• Probability and statistics

The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)

Source URL: ooni.torproject.org

DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

Source URL: alloytools.org

• Models of computation
• Intel
• Scientific modelling
• Dash
• Transition system
• Epistemology
• Philosophy of science
• Writing

Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state

Source URL: www.kestrel.edu

• Category theory
• Abstract algebra
• Algebra
• Mathematics
• Morphism
• Category
• Group action
• Natural transformation
• Limit
• Subcategory
• Functor
• Universal property

OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†

Source URL: www.lenders.ch

Wyoming District and Precinct SummaryCounty Name Albany Big Horn Campbell

Source URL: soswy.state.wy.us